Constraint programming
Llistar TÃtols per Matèria "Constraint programming"
S'han trobat 44 Ãtems
Llistant Ãtems des de 0 a 25:
| Format | Data | TÃtol | Autor |
|---|
| Format | Data | TÃtol | Autor |
|---|
|
3 setembre 2024 |
30th Anniversary Panel |
|
|
|
3 setembre 2024 |
ACP General Assembly |
Bergman, David
|
|
|
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
|
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
1 juny 2018 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
|
|
|
5 juny 2018 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
setembre 2016 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
15 febrer 2020 |
Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem |
Garcia Oliveras, Marc
|
|
|
3 setembre 2024 |
Closing |
Bofill, Miquel
; Villaret i Ausellé, Mateu
|
|
|
3 setembre 2024 |
Combining Constraint Programming Reasoning with Large Language Model Predictions |
Régin, Florian
; De Maria, Elisabetta
; Bonlaron, Alexandre
|
|
|
3 setembre 2024 |
Computing small Rainbow Cycle Numbers with SAT modulo Symmetries |
Kirchweger, Markus
; Szeider, Stefan
|
|
|
3 setembre 2024 |
Constraint Acquisition - A Tutorial on Learning Constraint Models |
Tsouros, Dimos
|
|
|
3 setembre 2024 |
Constraint Modelling with LLMs using In-Context Learning |
Michailidis, Kostis
; Tsouros, Dimos
; Guns, Tias
|
|
|
3 setembre 2024 |
Constraint Programming with JuMP |
Legat, Benoit
|
|
|
3 setembre 2024 |
CP 2025. CP-AI-OR 2025. ACP Summer School |
McCreesh, Ciaran
; Stuckey, Peter
; Verhaeghe, Hélène
|
|
|
3 setembre 2024 |
A CP/LS heuristic method for maxmin and minmax location problems with distance constraints |
Losif, Panteleimon
; Ploskas, Nikolaos
; Sergiou, Kostas
; Tsouros, Dimos
|
|
|
3 setembre 2024 |
Cumulative Scheduling with Calendars and Overtime |
Cloutier, Samuel
; Quimper, Claude-Guy
|
|
|
3 setembre 2024 |
Deep Cooperation of Local Search and Unit Propagation Techniques |
Chen, Xiamin
; Lei, Zhendong
; Lu, Pinyan
|
|
|
3 setembre 2024 |
Distinguished Service Award |
Garcia De La Banda, Maria
|
|
|
3 setembre 2024 |
Diversity, Equity and Inclusion Presentation |
Akgün, Özgür
; Francisco RodrÃguez, MarÃa AndreÃna
|
|
|
3 setembre 2024 |
Doctoral Research Award. Scalability in Decision-Focused Learning: State of the Art, Challenges, and Beyond |
Mandi, Jayanta
|
|
|
3 setembre 2024 |
Efficient Implementation of the Global Cardinality Constraint with Costs |
Schmied, Margaux
; Régin, Jean-Charles
|
|
|
3 setembre 2024 |
An Efficient Local Search Solver for Mixed Integer Programming |
Lin, Peng
; Zou, Mengchuan
; Cai, Shaowei
|
|
|
3 setembre 2024 |
Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination |
Zhou, Neng-Fa
|
|
|
juny 2017 |
Entorn de visualització i resolució de puzles tipus Cococrash |
Toledo Román, José Manuel
|
